1 2 3 4

Accountable protocols in abductive logic programming (extended abstract) Gavanelli, M.; Alberti, M.; Lamma, E. details >>	Open Publishing Association, Electronic Proceedings in Theoretical Computer Science, EPTCS Vol. 325, No. 1, pp: 276-277, Anno: 2020

Logic programming approaches for routing fault-free and maximally parallel wavelength-routed optical networks-on-chip (Application paper) Gavanelli, Marco; Nonato, Maddalena; Peano, Andrea; Bertozzi, Davide details >>	Cambridge University Press, THEORY AND PRACTICE OF LOGIC PROGRAMMING Vol. 17, No. 5-6, pp: 800-818, Anno: 2017

ASPECT: Answer Set rePresentation as vEctor graphiCs in laTex Bertagnon, A.; Gavanelli, M.; Zanotti, F. details >>	CEUR-WS, CEUR Workshop Proceedings Vol. 3428, No. 1, pp: 3.1-3.16, Anno: 2023

Geometric reasoning on the Traveling Salesperson Problem: comparing Answer Set Programming and Constraint Logic Programming Approaches Bertagnon, A.; Gavanelli, M. details >>	CEUR-WS, CEUR Workshop Proceedings Vol. 3437, No. 1, pp: 1-11, Anno: 2023

Comparing Emotion and Sentiment Analysis Tools on Italian anti-vaccination for COVID-19 posts Bellodi, Elena; Bertagnon, Alessandro; Gavanelli, Marco details >>	Sun SITE Central Europe, Proceedings of the Sixth Workshop on Natural Language for Artificial Intelligence (NL4AI 2022) Vol. 3287, No. 1, pp: 59-72, Anno: 2022

A Decomposition Approach to the Clinical Pathway Deployment for Chronic Outpatients with Comorbidities Cappanera, Paola; Gavanelli, Marco; Nonato, Maddalena; Roma, Marco details >>	Springer Nature, Optimization in Artificial Intelligence and Data Sciences Vol. 8, No. 1, pp: 213-226, Anno: 2022

Improving the Efficiency of Euclidean TSP Solving in Constraint Programming by Predicting Effective Nocrossing Constraints Bellodi, Elena; Bertagnon, Alessandro; Gavanelli, Marco; Zese, Riccardo details >>	Springer, AIxIA 2020 – Advances in Artificial Intelligence XIXth International Conference of the Italian Association for Artificial Intelligence, Virtual Event, November 25–27, 2020, Revised Selected Papers Vol. 12414, No. 1, pp: 318-334, Anno: 2021

On (maximal, tractable) fragments of the branching algebra? Bertagnon, Alessandro; Gavanelli, Marco; Sciavicco, Guido; Trevisani, Stefano details >>	RWTH Aachen University, Proceedings of the 35th Edition of the Italian Conference on Computational Logic (CILC 2020) Vol. 2710, No. 1, pp: 113-126, Anno: 2020

MAESTRO: a semi-autoMAted Evaluation SysTem for pROgramming assignments Bertagnon, Alessandro; Gavanelli, Marco details >>	Institute of Electrical and Electronics Engineers Inc., Proceedings of the 2020 International Conference on Computational Science and Computational Intelligence (CSCI'20: December 16-18, 2020, Las Vegas, Nevada, USA) pp: 953-958, Anno: 2020

Improving the efficiency of euclidean TSP solving in constraint programming by predicting effective nocrossing constraints Bellodi, E.; Bertagnon, A.; Gavanelli, M.; Zese, R. details >>	CEUR Workshop Proceedings, IPS-RCRA 2020 Italian Workshop on Planning and Scheduling and International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion Vol. 2745, No. 1, pp: 1-15, Anno: 2020

Improved filtering for the Euclidean Traveling Salesperson Problem in CLP(FD) Bertagnon, Alessandro; Gavanelli, Marco details >>	AAAI Press, The Thirty-Fourth AAAI Conference on Artificial Intelligence, AAAI 2020, The Thirty-Second Innovative Applications of Artificial Intelligence Conference, IAAI 2020, The Tenth AAAI Symposium on Educational Advances in Artificial Intelligence, EAAI 2020, New York, NY, USA, February 7-12, 2020 Vol. 34, No. 2, pp: 1412-1419, Anno: 2020

The horn fragment of branching algebra Bertagnon, Alessandro; Gavanelli, Marco; Passantino, Alessandro; Sciavicco, Guido; Trevisani, Stefano details >>	Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, Proceedings of the 27th International Symposium on Temporal Representation and Reasoning (TIME 2020) Vol. 178, No. 1, pp: 5-1-5-16, Anno: 2020

Deciding the consistency of branching time interval networks Gavanelli, Marco; Passantino, Alessandro; Sciavicco, Guido details >>	Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, Proceedings of the 25th International Symposium on Temporal Representation and Reasoning Vol. 120, No. 1, pp: 12-1-12-15, Anno: 2018

Wavelength-Routed Optical Networks-on-Chip: Design Methods and Tools to Bridge the Gap Between Logic Topologies and Physical Ones in 3D Architectures Bertozzi, Davide; Gavanelli, Marco; Nonato, Maddalena details >>	ACM, GLSVLSI '18: Proceedings of the 2018 on Great Lakes Symposium on VLSI pp: 311-316, Anno: 2018

Abductive Logic Programming for Normative Reasoning and Ontologies Gavanelli, Marco; Lamma, Evelina; Riguzzi, Fabrizio; Bellodi, Elena; Zese, Riccardo; Cota, Giuseppe details >>	Springer, New Frontiers in Artificial Intelligence (JSAI-isAI 2015 Workshops, LENLS, JURISIN, AAA, HAT-MASH, TSDAA, ASD-HR and SKL, Kanagawa, Japan, November 16-18, 2015, Revised Selected Papers) Vol. 10091, No. 1, pp: 187-203, Anno: 2017

Dischargeable obligations in abductive logic programming Alberti, Marco; Gavanelli, Marco; Lamma, Evelina; Riguzzi, Fabrizio; Zese, Riccardo details >>	Springer Verlag, International Joint Conference on Rules and Reasoning, RuleML+RR 2017; London; United Kingdom; 12 July 2017 through 15 July 2017 Vol. 10364, No. 1, pp: 7-21, Anno: 2017

Design technology for fault-free and maximally-parallel wavelength-routed optical networks-on-chip Peano, Andrea; Ramini, Luca; Gavanelli, Marco; Nonato, Maddalena; Bertozzi, Davide details >>	Institute of Electrical and Electronics Engineers Inc., 2016 IEEE/ACM International Conference on Computer-Aided Design, Digest of Technical Papers, ICCAD pp: 1-8, Anno: 2016

The Isolation System Design in Hydraulic Networks Gavanelli, Marco; Nonato, Maddalena; Peano, Andrea details >>	Francesca Alessandra Lisi, Stefano Borgo, Artificial Intelligence and Design. Proceedings of the 1st Workshop on Artificial Intelligence and Design A workshop of the XIV International Conference of the Italian Association for Artificial Intelligence (AI*IA 2015) Ferrara, Italy, September 22, 2015 Vol. 1473, No. 1, pp: 21-26, Anno: 2015

An Abductive Framework for Datalog± Ontologies Gavanelli, Marco; Lamma, Evelina; Riguzzi, Fabrizio; Bellodi, Elena; Zese, Riccardo; Cota, Giuseppe details >>	CEUR Workshop proceedings, Proceedings of the Technical Communications of the 31st International Conference on Logic Programming (ICLP 2015) Vol. 1433, No. 1, pp: 1-13, Anno: 2015

Abductive logic programming for Datalog+/- ontologies Gavanelli, Marco; Lamma, Evelina; Riguzzi, Fabrizio; Bellodi, Elena; Zese, Riccardo; Cota, Giuseppe details >>	CEUR Workshop proceedings, Proceedings of the 30th Italian Conference on Computational Logic Vol. 1459, No. 1, pp: 128-143, Anno: 2015